Symbolic system - PDFSEARCH.IO - Document Search Engine

Symbolic system
Results: 148

#	Item
31	A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:17 Type theory Object-oriented programming Polymorphism Subtyping Base Mathematics Structure
32	RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2014-12-04 18:09:21 Theoretical computer science Mathematics Mathematical logic Automated theorem proving Logic in computer science Type theory Unification Logic programming Anti-unification Function HindleyMilner type system
33	Fixing Races for Fun and Profit: How to abuse atime Nikita Borisov Rob Johnson Naveen Sastry David Wagner Add to Reading List Source URL: naveen.ksastry.com Language: English - Date: 2013-06-08 15:25:51 Software Time of check to time of use Setuid Symbolic link Ln File system Procfs Inode Filesystem permissions Computing System software Unix
34	LinuxFocus article number 377 http://linuxfocus.org Cruising with the snavigator Abstract: Add to Reading List Source URL: www.linuxfocus.org Language: English - Date: 2005-05-27 19:05:43 System administration Cscope Filesystem Hierarchy Standard Nvi Vim Symbolic link Cd Tcl Tar Software Computing Unix
35	Checking for Race Conditions in File Accesses Matt Bishop, Michael Dilger Department of Computer Science University of California at Davis Davis, CAAbstract Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2009-12-29 17:31:13 Time of check to time of use Computing File descriptor Passwd File system Open Symbolic link Library Rlogin System software Unix Software
36	The landscape David Morgan © David Morgan Add to Reading List Source URL: homepage.smc.edu Language: English - Date: 2014-09-10 17:43:27 Software Inode Ext2 Ln Passwd Symbolic link Fstab Shadow password Filesystem Hierarchy Standard Unix Computing System software
37	Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:29:36 Declarative programming Satisfiability Modulo Theories Type system Prolog Symbolic execution Linear programming Theoretical computer science Software engineering Constraint programming
38	SherLog: Error Diagnosis by Connecting Clues from Run-time Logs Ding Yuan Haohui Mai Add to Reading List Source URL: opera.ucsd.edu Language: English - Date: 2010-01-25 16:41:36 Information retrieval Log analysis Type system Find Symbolic execution Computing Type theory Information science
39	professors William Farmer & Jacques Carette Mechanising mathematics Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2013-05-23 14:39:30 Mathematical logic Theoretical computer science Philosophy of mathematics Symbolic computation Applied mathematics Algorithm Computer algebra system Mathematica Actor model Science Mathematics Mathematical software
40	UNIX Basics BEK SHAKIROV by Peter Collinson, Hillside Systems Add to Reading List Source URL: www.hillside.co.uk Language: English - Date: 2001-11-27 10:11:06 Unix Disk file systems Inode Ln Symbolic link Archive formats Cp File system Mv Computing System software Software

UPDATE